factorial notation

• 阶乘记号;